<html>
<head><meta charset="utf-8"><title>meeting 2018-11-14 · t-lang/wg-unsafe-code-guidelines · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/index.html">t-lang/wg-unsafe-code-guidelines</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-14.html">meeting 2018-11-14</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="147700197"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-14/near/147700197" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-14.html#147700197">(Nov 14 2018 at 21:21)</a>:</h4>
<p>So are we going to meet tomorrow <span class="user-group-mention" data-user-group-id="810">@WG-unsafe-code-guidelines</span> ? It's not in our calendar invite.</p>
<p>I think maybe we should change the invite to every week. Thoughts?</p>
<p>Also, do we have a proto agenda?</p>



<a name="147700226"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-14/near/147700226" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-14.html#147700226">(Nov 14 2018 at 21:21)</a>:</h4>
<p>I would like to discuss <code>unsafe extern</code> blocks</p>



<a name="147700240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-14/near/147700240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-14.html#147700240">(Nov 14 2018 at 21:22)</a>:</h4>
<p>also, converting from <code>unsafe fn()</code> to <code>fn()</code></p>



<a name="147700418"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-14/near/147700418" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-14.html#147700418">(Nov 14 2018 at 21:24)</a>:</h4>
<p>also, contravariant and non-contravariant function pointer casts</p>



<a name="147700624"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-14/near/147700624" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-14.html#147700624">(Nov 14 2018 at 21:27)</a>:</h4>
<p>Hmm. I would sort of like to stay focused on the discussion area -- some things on my mind:</p>
<ul>
<li>What is left for our <a href="https://github.com/rust-rfcs/unsafe-code-guidelines/pulls" target="_blank" title="https://github.com/rust-rfcs/unsafe-code-guidelines/pulls">pending pull requests</a> to be merged? </li>
<li>What should our plan be for opening RFCs regarding conclusions we have made thus far? When is a good point?<br>
    - Maybe once we have "representation + validity invariants" together?</li>
<li>What should our next topic be and who is going to prep the writeup that divides it into issues etc?<br>
    - I suspect validity invariants, right? (Er, what did <span class="user-mention" data-user-id="120791">@RalfJ</span> call this?)</li>
</ul>
<p>Some other things:</p>
<ul>
<li>Process review: I feel like the process if "ok" but the pace is too slow, but I'm not sure what to do about it. Investing more time, maybe, but who's time? This is partly why I want to move to weekly meetings.</li>
<li>Face-to-face discussion: I've been wondering about trying to organize a dedicated get-together at some point. I'd like to have a concrete goal -- maybe after we've got a few more things on our belt. Basically some way for us to inject some face time to move to consensus more quickly.<br>
    - I thought about doing this at the Rust All Hands but I worry that it will just be too chaotic, maybe better to organize something separate.</li>
</ul>



<a name="147701687"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-14/near/147701687" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-14.html#147701687">(Nov 14 2018 at 21:40)</a>:</h4>
<p>well, the latter two are specifically on the function pointer RFC</p>



<a name="147701705"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-14/near/147701705" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-14.html#147701705">(Nov 14 2018 at 21:40)</a>:</h4>
<p>i.e., "what can you do with a function pointer and still call it"</p>



<a name="147701740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-14/near/147701740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-14.html#147701740">(Nov 14 2018 at 21:41)</a>:</h4>
<p>also, are function pointers presumed valid to call under their current type?</p>



<a name="147705231"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-14/near/147705231" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-14.html#147705231">(Nov 14 2018 at 22:37)</a>:</h4>
<p>ok, sounds good</p>



<a name="147705237"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-14/near/147705237" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-14.html#147705237">(Nov 14 2018 at 22:37)</a>:</h4>
<p>I need to catch up!  :)</p>



<a name="147726059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-14/near/147726059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-14.html#147726059">(Nov 15 2018 at 07:35)</a>:</h4>
<p>the date in the topic is wrong though, isn't it? The meeting wasnt yesterday?^^</p>



<a name="147726158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-14/near/147726158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-14.html#147726158">(Nov 15 2018 at 07:38)</a>:</h4>
<blockquote>
<p>also, are function pointers presumed valid to call under their current type?</p>
</blockquote>
<p>I think this has to be part of the safety invariant (because we let safe code do it), but cannot be part of the validity invariant (because it is not decidable, and hence shouldn't be part of our definition of UB)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>